YES 0.529
↳ HASKELL
↳ BR
((pred :: Bool -> Bool) :: Bool -> Bool) |
import qualified Prelude |
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
((pred :: Bool -> Bool) :: Bool -> Bool) |
import qualified Prelude |
undefined
| False
= undefined
undefined = undefined1
undefined0 True = undefined
undefined1 = undefined0 False
toEnum 0 = False toEnum 1 = True
toEnum wu = toEnum3 wu toEnum vz = toEnum1 vz
toEnum0 True vz = True
toEnum1 vz = toEnum0 (vz == 1) vz
toEnum2 True wu = False toEnum2 wv ww = toEnum1 ww
toEnum3 wu = toEnum2 (wu == 0) wu toEnum3 wx = toEnum1 wx
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ NumRed
((pred :: Bool -> Bool) :: Bool -> Bool) |
import qualified Prelude |
↳ HASKELL
↳ BR
↳ HASKELL
↳ COR
↳ HASKELL
↳ NumRed
↳ HASKELL
↳ Narrow
(pred :: Bool -> Bool) |
import qualified Prelude |